1. Algorithmic randomness and complexity
پدیدآورنده : Downey, R. G.)Rod G.(,Rodney G. Downey, Denis R. Hirschfeldt
موضوع : ، Computational complexity,، Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
2. Algorithmic randomness and complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Computable functions. ;
3. Algorithmic randomness and complexity
پدیدآورنده : Downey, R. G. )Rod G.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Computable functions
رده :
QA
267
.
7
.
D69
2010
4. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity,Computable functions
رده :
E-BOOK
5. Automata, computability and complexity :
پدیدآورنده : Elaine Rich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
6. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
7. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
8. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
9. Computability.
پدیدآورنده : Klaus Weihrauch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA9
.
59
K538
2012
10. Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
پدیدآورنده : Jens Blanck, Vasco Brattka, Peter Hertling )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Mathematical analysis,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
2064
11. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
12. Computability, complexity, logic
پدیدآورنده : Borger, Egon, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
13. Computability, complexity, logic
پدیدآورنده : Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
14. Computability in context :
پدیدآورنده : editors, S. Barry Cooper, Andrea Sorbi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
رده :
QA9
.
59
.
C655
2011
15. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
16. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
17. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
18. Computation and automata
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
19. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019